Koha online catalog › Results of search for 'su:"Concurrency"'

	1.	Temporal Logic of Reactive and Concurrent Systems by Manna, Zohar \| Pnueli, A. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1992Availability: Items available for loan: [Call number: 005.1 MAN] (1). Place hold
	2.	C++ core guidelines explained : best practices for modern C++ by Grimm, Rainer. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Boston : Addison Wesley, 2022Availability: Items available for loan: [Call number: 005.133 GRI] (1). Place hold

Koha online